package sign;

public enum FormulaSign {
    EXIST {
        @Override
        public String toString() {
            return "\\exists ";
            //return "∃";
        }
    },
    ANY{
        @Override
        public String toString(){
            return "\\forall ";
            //return "∀";
        }
    }
}
